1. Can mathematics be proved consistent? :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem ;
2. G?del's theorems and Zermelo's axioms :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ;
3. Kurt G?del :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ;
4. Shadows of the mind: a search for the missing science of consciousness
Author: Penrose, Roger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence,، Thought and thinking,، G?del's theorem,، Quantum theory,Philosophy ، Physics
Classification :
Q
335
.
P416
1994
5. THe Large, The Small and the Human Mind
Author: / Roger Penrose, With Abner Shimony, Nancy Cartwright And Stephen Hawking
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Shimony, Abner,Cartwright, Nancy,Artificial intelligence,Thought and Thinking,Physics - Philosophy,Gdel's Theorem,Quantum Theory
Classification :
Q335
.
L36
1999
6. The large, the small, and the human mind
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: temps ; -Artificial intelligence ; Thought and thinking ; Physics ; Philosophy ; G?del's theorem ; Quantum theory ; Shimony, Abner ; Cartwright, Nancy ; Sciences ; Philosophie ; Espace
7. Thinking about G?del and Turing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
8. Thinking about G?�del and Turing
Author: / Gregory J Chaitim
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
Classification :
QA
,
9
.
65
,.
C43
,
2007
9. Word problems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Group theory ; Congresses. ; G?del's theorem ; Congresses. ; Word problems (Mathematics) ; Burnside problem. ;
10. Word problems II
Author: / edited by S. I. Adian, W. W. Boone, G. Higman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Group theory--Congresses,G?�del's theorem--Congresses
Classification :
QA
,
171
,.
W86
